A type system for RCL (2024)
ruudvanasseldonk.com·2d·
Discuss: Lobsters, Hacker News
🐫OCaml
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com·1d
🌊Coalgebra
Cyclic Implicit Complexity
arxiv.org·21h
🐫OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·12h·
Discuss: r/programming
🩹Self-Healing Systems
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·11h·
Discuss: Substack
⚙️Operating System Design
Breaking Verifiable Abstractions
alperenkeles.com·13h·
Discuss: Hacker News, r/programming
🔍Formal Verification
Embedding MicroHs
thma.github.io·3d
🐫OCaml
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·13h·
Discuss: Hacker News
🔄Reproducible Builds
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
DeepQuali: Determining Software Quality with AI
blog.qaware.de·19h·
Discuss: Hacker News
🔄Reproducible Builds
Lively Linear Lisp (1992)
plover.com·23h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·1d·
Discuss: Lobsters, Hacker News, r/cpp
🐫OCaml
How to Test
matklad.github.io·14h·
Discuss: Hacker News
🧪Property-Based Testing
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·1d·
Discuss: Hacker News
🔤DSLs
Quirks of Common Lisp Types
fosskers.ca·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Learn about building a Rust Plugin System
blog.anirudha.dev·19h·
Discuss: Hacker News
⚙️PL Implementation
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev·2d·
Discuss: r/rust
⚙️PL Implementation
Answering some questions about Baba Yaga
eli.li·2d·
Discuss: Hacker News
🧩Parser Combinators
New Features We Find in the Kubernetes 1.34 Release
metalbear.com·10h·
Discuss: Hacker News
⎈Kubernetes